algebra of logic造句

• She wrote a dissertation " On the Algebra of Logic " with Peirce as the thesis advisor.
• In 1913, Skolem passed the state examinations with distinction, and completed a dissertation titled " Investigations on the Algebra of Logic ".
• Tarski produced axioms for " logical consequence ", and worked on deductive systems, the algebra of logic, and the theory of definability.
• His first scientific publication, a voluminous review of Ernst Schr鰀er's lectures on the " Algebra of Logic ", fell into this time ( finished 1893 ).
• Resistance of these elements could take arbitrary values on the real-number line, and upon the two-element set { 0,  " } this degenerates into the bivalent Boolean algebra of logic.
• In 1982 he defended a doctoral thesis in mathematics at Universit?Paris I, where, in 1988, he also completed his doctorat d Etat, under the direction of Jean-Toussaint Desanti, on George Boole s algebra of logic.
• Shestakov may be considered as a forerunner of combinatorial logic and its application ( and, hence, Boolean algebra of logic as well ) in electric engineering, the'language'of which is broad enough to simulate non-electrical objects of any conceivable physical nature.
• He is best known for his monumental " Vorlesungen 黚er die Algebra der Logik " ( Lectures on the algebra of logic ), in 3 volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day.
• The expression " laws of thought " gained added prominence through its use by Boole ( 1815 64 ) to denote theorems of his " algebra of logic "; in fact, he named his second logic book " An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities " ( 1854 ).
• Putnam found that mathematicians and logicians learned about the logic of quantifiers through the independent work of Peirce and Mitchell, particularly through Peirce's " On the Algebra of Logic : A Contribution to the Philosophy of Notation " ( 1885 ), published in the premier American mathematical journal of the day, and cited by Peano and Schr鰀er, among others, who ignored Frege.
• "A Treatise on Universal Algebra " sought to examine Hermann Grassmann's theory of extension ( " Ausdehnungslehre " ), Boole's algebra of logic, and Hamilton's quaternions ( this last number system was to be taken up in Volume II, which was never finished due to Whitehead's work on " Principia Mathematica " ).
• In a review Alexander Macfarlane wrote : " The main idea of the work is not unification of the several methods, nor generalization of ordinary algebra so as to include them, but rather the comparative study of their several structures . " At the time George Boole's algebra of logic made a strong counterpoint to ordinary number algebra, so the term " universal " served to calm strained sensibilities.
• Ernst Schr鰀er in " The Algebra of Logic " consolidated and advanced the work of Boole and Peirce introducing the concept of the reflexive relation, and Alfred Tarski, adhering to Schr鰀er s notation, introduced further types of relation in his paper " On the Calculus of Relations " published in 1941 where he said  We may for instance distinguish certain important categories of relation such as symmetric relations, transitive relations, ordering relations, one-many relations & and one-one relations & .